#ifndef __STDIO_H__
#define __STDIO_H__
#include "user.h"
#include "printf.h"

char getchar(int);

int readLine(int fd,char* buf);

#endif